Sensitivity Analysis of Real-Time Systems
نویسندگان
چکیده
Verification of real-time software systems can be expensive in terms of time and resources. Testing is the main method of proving correctness but has been shown to be a long and time consuming process. Everyday engineers are usually unwilling to adopt formal approaches to correctness because of the overhead associated with developing their knowledge of such techniques. Performance modelling techniques allow systems to be evaluated with respect to timing constraints. This paper describes PARTES, a framework which guides the extraction of performance models from programs written in an annotated subset of C. Keywords—Performance Modelling, Real-time, Sensitivity Analysis.
منابع مشابه
A DSS-Based Dynamic Programming for Finding Optimal Markets Using Neural Networks and Pricing
One of the substantial challenges in marketing efforts is determining optimal markets, specifically in market segmentation. The problem is more controversial in electronic commerce and electronic marketing. Consumer behaviour is influenced by different factors and thus varies in different time periods. These dynamic impacts lead to the uncertain behaviour of consumers and therefore harden the t...
متن کاملEfficiency of DMUs in Presence of New Inputs and Outputs in DEA
Examining the impacts of data modification is considered as sensitivity analysis. A lot of studies have considered the data modification of inputs and outputs in DEA. The issues which has not heretofore been considered in DEA sensitivity analysis is modification in the number of inputs and (or) outputs and determining the impacts of this modification in the status of efficiency of DMUs. This pa...
متن کاملAnalysis of Herpes Simplex Virus in Suspected Encephalitis, Keratitis and Dermal Infections Using Real- Time PCR
Background & Objectives: Herpes viruses can cause diseases in the clinical range. The virus can cause infection in various body parts, especially eyes and nervous system. The aim of this study was at evaluating the Real-Time TaqMan probe PCR in diagnosing and monitoring of the patients with suspected HSV infections.Materials & Methods: More than a thousand patients with suspected HSV infection...
متن کاملEvaluation of Microscopy Sensitivity, Specificity in Detection of P. falciparum and P. vivax, Using Monoplex real-time PCR, Gezira, Sudan
Background: Malaria is still account for 200 million cases annually. Microscopy is the gold standard technique for malaria parasites detection. PCR-based techniques can detect malaria infections with high sensitivity. The study aimed to evaluate the sensitivity of microscopy technique in the detection of P. falciparum and P. vivax, using monoplex real-time PCR, Gezira State, Central Sudan. Met...
متن کاملReliability and Sensitivity Analysis of Structures Using Adaptive Neuro-Fuzzy Systems
In this study, an efficient method based on Monte Carlo simulation, utilized with Adaptive Neuro-Fuzzy Inference System (ANFIS) is introduced for reliability analysis of structures. Monte Carlo Simulation is capable of solving a broad range of reliability problems. However, the amount of computational efforts that may involve is a draw back of such methods. ANFIS is capable of approximating str...
متن کاملCost Analysis of Fuzzy Queuing Systems
Regarding the fact that getting a suitable combination of the human resources and service stations is one of the important issues in the most service and manufacturing environments, In this paper, we have studied the two models of planning queuing systems and its effect on the cost of the each system by using two fuzzy queuing models of M/M/1 and M/E2/1. In the first section, we have compar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008